-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path9.1 Integrand simplification rules.nb
More file actions
9706 lines (9435 loc) · 502 KB
/
9.1 Integrand simplification rules.nb
File metadata and controls
9706 lines (9435 loc) · 502 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(* Content-type: application/mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 7.0' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 145, 7]
NotebookDataLength[ 503777, 9697]
NotebookOptionsPosition[ 489451, 9348]
NotebookOutlinePosition[ 490973, 9398]
CellTagsIndexPosition[ 490930, 9395]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[Cell[TextData[StyleBox["Integrand Simplification Rules",
FontFamily->"Arial"]], "None"]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.4965234353062396`*^9, {3.5193214825316973`*^9, 3.5193214852617016`*^9}, {
3.523316399894187*^9, 3.5233164032341914`*^9}, {3.523318350558202*^9,
3.5233183516382036`*^9}, {3.536542725780803*^9, 3.536542725780803*^9}, {
3.5367764878952584`*^9, 3.5367764886452594`*^9}, {3.544322815209103*^9,
3.5443228192963104`*^9}, {3.5450662624913826`*^9, 3.545066292141424*^9}, {
3.545066402271579*^9, 3.5450664054415827`*^9}, {3.5450834884295015`*^9,
3.5450834895895033`*^9}, {3.5454961263762493`*^9,
3.5454961321462574`*^9}, {3.5454963863166127`*^9,
3.5454964580867133`*^9}, {3.545497046127537*^9, 3.545497046127537*^9}, {
3.5454971130676303`*^9, 3.545497136257663*^9}, 3.545610399977621*^9, {
3.546040778592962*^9, 3.546040778592962*^9}, {3.5461052065706367`*^9,
3.5461052249474688`*^9}, {3.546191339879622*^9, 3.5461913430596266`*^9}, {
3.5462141824067917`*^9, 3.5462142145768366`*^9}, {3.5462145455473003`*^9,
3.5462145601073203`*^9}, {3.5463149785974817`*^9,
3.5463149794195285`*^9}, {3.5488738437683954`*^9,
3.5488738699084315`*^9}, {3.5488890647645535`*^9, 3.548889080804576*^9}, {
3.5505951583099127`*^9, 3.5505951620351257`*^9}, {3.5505952613798075`*^9,
3.5505952630869055`*^9}, {3.5535321133435373`*^9,
3.5535321173537664`*^9}, {3.5536175341411576`*^9,
3.5536175352411594`*^9}, {3.55396599671187*^9, 3.55396599862998*^9}, {
3.560190530310161*^9, 3.560190628512334*^9}, {3.5602162723838596`*^9,
3.5602162793138695`*^9}, {3.5606249190913877`*^9, 3.560624924321395*^9}, {
3.5617663419995623`*^9, 3.5617663705796027`*^9}, {3.5617666456099873`*^9,
3.561766656350003*^9}, {3.562107691486154*^9, 3.5621077390350375`*^9}, {
3.5621080165751247`*^9, 3.5621080185719285`*^9}, {3.5621081511877613`*^9,
3.5621081511877613`*^9}, {3.5633407304210925`*^9, 3.563340730891093*^9}, {
3.567630514627001*^9, 3.567630517123005*^9}, {3.5687565582479997`*^9,
3.5687565700380163`*^9}, {3.5713337507132535`*^9,
3.5713337630632706`*^9}, {3.5761243030274553`*^9, 3.576124317087475*^9}, {
3.597888364985247*^9, 3.5978883828852725`*^9}},
TextAlignment->Center,
FontWeight->"Bold"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{Cell[TextData[StyleBox["1.",
FontFamily->"Arial"]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"v", "+", "w"}], ")"}], "p"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"], " ", Cell[TextData[Cell[BoxData[
RowBox[{"v", "\[Equal]", "0"}]]]], "None"]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9},
3.5193325694253187`*^9, {3.5193415004828687`*^9, 3.5193415113404875`*^9}, {
3.5193513965602303`*^9, 3.519351397420232*^9}, {3.5194037839416766`*^9,
3.5194037847117205`*^9}, {3.5233155055329347`*^9, 3.523315506402936*^9}, {
3.523318726949605*^9, 3.5233187276796064`*^9}, {3.523920400879534*^9,
3.5239204094439487`*^9}, 3.52392096260852*^9, 3.523921038171853*^9, {
3.52919645779749*^9, 3.5291965352204256`*^9}, {3.5291966892518964`*^9,
3.5291967073791285`*^9}, {3.536777803163103*^9, 3.5367778079531097`*^9}, {
3.536797167878858*^9, 3.5367971680788584`*^9}, {3.53680053244489*^9,
3.5368005326448903`*^9}, {3.5368592877760773`*^9, 3.536859288134878*^9}, {
3.536859514740876*^9, 3.536859516472479*^9}, {3.5713700760516787`*^9,
3.5713700901916986`*^9}, 3.637097090584026*^9},
FontSize->12,
FontWeight->"Bold"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t",
RowBox[{Cell[TextData[StyleBox["x:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"v", "+", "w"}], ")"}], "p"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"], " ", Cell[TextData[Cell[BoxData[
RowBox[{"v", "\[Equal]", "0"}]]]], "None"]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.4964645213514385`*^9,
3.5192470594155855`*^9, {3.519247288125906*^9, 3.5192473207459517`*^9}, {
3.5192504337891226`*^9, 3.5192504707812386`*^9}, 3.5192506717957726`*^9, {
3.519250720795459*^9, 3.5192507409818945`*^9}, 3.519258420209427*^9,
3.519258489779525*^9, {3.519320786305674*^9, 3.519320803294104*^9}, {
3.519329422708468*^9, 3.5193294257984724`*^9}, 3.5193294706485353`*^9, {
3.5193302883925123`*^9, 3.519330307237345*^9}, {3.5193303440378103`*^9,
3.5193303650666466`*^9}, 3.5193341918281684`*^9, {3.5193346196121197`*^9,
3.519334632840943*^9}, {3.519341922663512*^9, 3.5193419232095127`*^9},
3.5193423494490614`*^9, {3.5193456600396833`*^9, 3.519345660273684*^9},
3.519410696547495*^9, {3.519793559756592*^9, 3.5197935600217924`*^9}, {
3.5210541942272606`*^9, 3.5210542323693275`*^9}, {3.521054705798959*^9,
3.5210547345342093`*^9}, {3.521055431683834*^9, 3.5210554455522585`*^9}, {
3.5210554827427235`*^9, 3.521055535954417*^9}, {3.5210583779710083`*^9,
3.5210583808258133`*^9}, {3.521059537848645*^9, 3.5210595406722507`*^9}, {
3.521073278133219*^9, 3.521073278289219*^9}, {3.5210733530601506`*^9,
3.5210733594717617`*^9}, {3.5210749590361714`*^9, 3.521074959285772*^9}, {
3.5210750684603634`*^9, 3.521075082640788*^9}, {3.5211302494180717`*^9,
3.5211302530480766`*^9}, 3.5211308367808948`*^9, {3.5211323417405057`*^9,
3.521132341920506*^9}, {3.5211329193813143`*^9, 3.521132920581316*^9}, {
3.5211334086319995`*^9, 3.5211334145920076`*^9}, 3.5211339031426916`*^9, {
3.5211339800327997`*^9, 3.521133999102826*^9}, {3.5211340957429614`*^9,
3.521134096002962*^9}, {3.521135314144667*^9, 3.521135318594673*^9}, {
3.521135364874738*^9, 3.521135364874738*^9}, {3.5213438858413525`*^9,
3.5213438941113644`*^9}, {3.5213439302614145`*^9,
3.5213439302614145`*^9}, {3.521343988081496*^9, 3.521344018781539*^9}, {
3.5213440660716047`*^9, 3.5213440660716047`*^9}, {3.5213444058120804`*^9,
3.5213444106820874`*^9}, {3.5214684168581123`*^9,
3.5214684170765123`*^9}, {3.52149478528579*^9, 3.52149481372464*^9}, {
3.521499215591608*^9, 3.52149921649641*^9}, {3.521999242783615*^9,
3.5219992516436276`*^9}, {3.5219993142037153`*^9,
3.5219993144637156`*^9}, {3.5220108123552885`*^9,
3.5220108400578732`*^9}, {3.5220135333009176`*^9,
3.5220135334289255`*^9}, {3.523319008544857*^9, 3.523319008544857*^9}, {
3.5269414178829765`*^9, 3.5269414184409776`*^9}, {3.52694152202516*^9,
3.526941546548403*^9}, {3.5269418749401793`*^9, 3.5269418751897798`*^9}, {
3.52694417640742*^9, 3.5269441793714256`*^9}, 3.526944249665149*^9,
3.526944496863183*^9, {3.529188040720413*^9, 3.5291880409504137`*^9},
3.529195574227538*^9, 3.5291958095539513`*^9, {3.5713325155715246`*^9,
3.5713325471315684`*^9}, 3.571333092022331*^9, 3.571370092951702*^9, {
3.5713701351917615`*^9, 3.571370135451762*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Algebraic simplification", "Subsubsection",
CellChangeTimes->{
3.4953915070313115`*^9, 3.495923078768035*^9, {3.495923273118307*^9,
3.4959232939383364`*^9}, 3.4971601701650543`*^9, {3.52694151090234*^9,
3.5269415144747467`*^9}}],
Cell["\<\
Note: Many rules assume coefficients are not unrecognized zeros.\
\>", "Subsubsection",
CellChangeTimes->{
3.4953915070313115`*^9, 3.495923078768035*^9, {3.495923273118307*^9,
3.4959232939383364`*^9}, 3.4971601701650543`*^9, {3.52694151090234*^9,
3.5269415144747467`*^9}, {3.571332696021777*^9, 3.5713327465518475`*^9}}],
Cell["\<\
Note: Unfortunately this rule is commented out because it is too inefficient.\
\>", "Subsubsection",
CellChangeTimes->{
3.4953915070313115`*^9, 3.495923078768035*^9, {3.495923273118307*^9,
3.4959232939383364`*^9}, 3.4971601701650543`*^9, {3.52694151090234*^9,
3.5269415144747467`*^9}, {3.571332696021777*^9, 3.5713327465518475`*^9}, {
3.57137010510172*^9, 3.571370128921753*^9}}],
Cell[TextData[{
"Rule: If ",
Cell[BoxData[
RowBox[{"v", "\[Equal]", "0"}]]],
", then"
}], "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.495391630941485*^9, 3.4953916682515373`*^9},
3.495398892616804*^9, {3.495922938707839*^9, 3.4959229711678843`*^9}, {
3.4959231003080654`*^9, 3.4959231175680895`*^9}, {3.4971602295387588`*^9,
3.4971602339691668`*^9}, {3.521344047531579*^9, 3.5213440556315904`*^9}, {
3.522011204087694*^9, 3.522011204087694*^9}, {3.5269414956611137`*^9,
3.526941503601527*^9}, {3.571332606171651*^9, 3.5713326066016517`*^9}}],
Cell[BoxData[
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"v", "+", "w"}], ")"}], "p"],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ",
RowBox[{"\[Integral]",
RowBox[{"u", " ",
SuperscriptBox["w", "p"],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.4796579723816*^9, 3.4796580261689425`*^9},
3.479661191290163*^9, {3.479686720164157*^9, 3.479686720204214*^9}, {
3.479686831554328*^9, 3.479686834819022*^9}, {3.4940970712485504`*^9,
3.4940971130286083`*^9}, 3.4940971455886545`*^9, 3.4953915848214207`*^9,
3.495391696001576*^9, 3.4959228185976706`*^9, 3.495922913057803*^9,
3.495923018917951*^9, {3.4959235009586263`*^9, 3.4959235044486313`*^9},
3.495923597958762*^9, {3.4967267852794013`*^9, 3.496726787416605*^9}, {
3.497160187917886*^9, 3.497160191381092*^9}, {3.5220108283382025`*^9,
3.5220108303953204`*^9}, {3.526941475037877*^9, 3.526941486223097*^9}, {
3.526944260959569*^9, 3.526944268385182*^9}, {3.5269445071436014`*^9,
3.5269445089688044`*^9}, {3.5291955204386435`*^9, 3.529195523761449*^9}, {
3.5291956709477077`*^9, 3.5291956822265277`*^9}, {3.571332617291667*^9,
3.5713326229416747`*^9}},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9,
3.492805165713872*^9}}],
Cell[BoxData[
RowBox[{"(*", " ",
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{"u_.", "*",
RowBox[{
RowBox[{"(",
RowBox[{"v_", "+", "w_"}], ")"}], "^", "p_."}]}], ",", "x_Symbol"}],
"]"}], " ", ":=", "\n", " ",
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{"u", "*",
RowBox[{"w", "^", "p"}]}], ",", "x"}], "]"}], " ", "/;", "\n",
RowBox[{
RowBox[{"FreeQ", "[",
RowBox[{"p", ",", "x"}], "]"}], " ", "&&", " ",
RowBox[{"EqQ", "[",
RowBox[{"v", ",", "0"}], "]"}]}]}]}], " ", "*)"}]], "Code",
CellChangeTimes->{{3.494097165958683*^9, 3.4940971894087152`*^9}, {
3.4940972668388243`*^9, 3.4940972723188314`*^9}, 3.49539148440128*^9,
3.4959225619973116`*^9, {3.4959230364279757`*^9, 3.4959230376679773`*^9},
3.495923494298617*^9, {3.495923555498702*^9, 3.4959235563087034`*^9},
3.4967267756697845`*^9, {3.49672681861666*^9, 3.4967268308626814`*^9}, {
3.497159195377345*^9, 3.49715920372336*^9}, {3.4971596430245285`*^9,
3.4971596546621494`*^9}, {3.4971597187782617`*^9,
3.4971597300570817`*^9}, {3.521344096001647*^9, 3.5213440979116497`*^9}, {
3.5220109584456444`*^9, 3.522010968041193*^9}, {3.5220112082859344`*^9,
3.5220112097790203`*^9}, {3.5269414337914047`*^9, 3.526941437753812*^9}, {
3.526941573037249*^9, 3.526941593348485*^9}, {3.526944205813472*^9,
3.5269442402583323`*^9}, {3.526944313828062*^9, 3.5269443298336897`*^9}, {
3.5269443963834066`*^9, 3.5269444040430202`*^9}, {3.52694452906164*^9,
3.52694458024533*^9}, {3.5269446772462997`*^9, 3.526944689695122*^9},
3.526944935286353*^9, 3.528997186977697*^9, {3.5291955351026692`*^9,
3.529195553916302*^9}, {3.529195698029355*^9, 3.529195721179796*^9}, {
3.5291957589786625`*^9, 3.529195776232293*^9}, {3.571332557321583*^9,
3.571332593271633*^9}, {3.571332652971717*^9, 3.5713326657317343`*^9}, {
3.5713473700813494`*^9, 3.5713473736013546`*^9}, 3.7061417418484607`*^9, {
3.7154739019642315`*^9, 3.715473902217246*^9}},
Background->GrayLevel[0.85]],
Cell["", "Subsubsection",
CellDingbat->None,
CellChangeTimes->{3.4796643211106243`*^9}]
}, Closed]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t",
RowBox[{Cell[TextData[StyleBox["1:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], ")"}], "p"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"], " ", Cell[TextData[Cell[BoxData[
RowBox[{"a", "\[Equal]", "0"}]]]], "None"]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.4964645213514385`*^9,
3.5192470594155855`*^9, {3.519247288125906*^9, 3.5192473207459517`*^9}, {
3.5192504337891226`*^9, 3.5192504707812386`*^9}, 3.5192506717957726`*^9, {
3.519250720795459*^9, 3.5192507409818945`*^9}, 3.519258420209427*^9,
3.519258489779525*^9, {3.519320786305674*^9, 3.519320803294104*^9}, {
3.519329422708468*^9, 3.5193294257984724`*^9}, 3.5193294706485353`*^9, {
3.5193302883925123`*^9, 3.519330307237345*^9}, {3.5193303440378103`*^9,
3.5193303650666466`*^9}, 3.5193341918281684`*^9, {3.5193346196121197`*^9,
3.519334632840943*^9}, {3.519341922663512*^9, 3.5193419232095127`*^9},
3.5193423494490614`*^9, {3.5193456600396833`*^9, 3.519345660273684*^9},
3.519410696547495*^9, {3.519793559756592*^9, 3.5197935600217924`*^9}, {
3.5210541942272606`*^9, 3.5210542323693275`*^9}, {3.521054705798959*^9,
3.5210547345342093`*^9}, {3.521055431683834*^9, 3.5210554455522585`*^9}, {
3.5210554827427235`*^9, 3.521055535954417*^9}, {3.5210583779710083`*^9,
3.5210583808258133`*^9}, {3.521059537848645*^9, 3.5210595406722507`*^9}, {
3.521073278133219*^9, 3.521073278289219*^9}, {3.5210733530601506`*^9,
3.5210733594717617`*^9}, {3.5210749590361714`*^9, 3.521074959285772*^9}, {
3.5210750684603634`*^9, 3.521075082640788*^9}, {3.5211302494180717`*^9,
3.5211302530480766`*^9}, 3.5211308367808948`*^9, {3.5211323417405057`*^9,
3.521132341920506*^9}, {3.5211329193813143`*^9, 3.521132920581316*^9}, {
3.5211334086319995`*^9, 3.5211334145920076`*^9}, 3.5211339031426916`*^9, {
3.5211339800327997`*^9, 3.521133999102826*^9}, {3.5211340957429614`*^9,
3.521134096002962*^9}, {3.521135314144667*^9, 3.521135318594673*^9}, {
3.521135364874738*^9, 3.521135364874738*^9}, {3.5213438858413525`*^9,
3.5213438941113644`*^9}, {3.5213439302614145`*^9,
3.5213439302614145`*^9}, {3.521343988081496*^9, 3.521344018781539*^9}, {
3.5213440660716047`*^9, 3.5213440660716047`*^9}, {3.5213444058120804`*^9,
3.5213444106820874`*^9}, {3.5214684168581123`*^9,
3.5214684170765123`*^9}, {3.52149478528579*^9, 3.52149481372464*^9}, {
3.521499215591608*^9, 3.52149921649641*^9}, {3.521999242783615*^9,
3.5219992516436276`*^9}, {3.5219993142037153`*^9,
3.5219993144637156`*^9}, {3.5220108123552885`*^9,
3.5220108400578732`*^9}, {3.5220135333009176`*^9,
3.5220135334289255`*^9}, {3.523319008544857*^9, 3.523319008544857*^9}, {
3.5269414178829765`*^9, 3.5269414184409776`*^9}, {3.52694152202516*^9,
3.526941546548403*^9}, {3.5269418749401793`*^9, 3.5269418751897798`*^9}, {
3.52694417640742*^9, 3.5269441793714256`*^9}, 3.526944249665149*^9,
3.526944496863183*^9, {3.529188040720413*^9, 3.5291880409504137`*^9},
3.529195574227538*^9, 3.5291958095539513`*^9},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Algebraic simplification", "Subsubsection",
CellChangeTimes->{
3.4953915070313115`*^9, 3.495923078768035*^9, {3.495923273118307*^9,
3.4959232939383364`*^9}, 3.4971601701650543`*^9, {3.52694151090234*^9,
3.5269415144747467`*^9}}],
Cell[TextData[{
"Rule: If ",
Cell[BoxData[
RowBox[{"a", "\[Equal]", "0"}]]],
", then"
}], "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.495391630941485*^9, 3.4953916682515373`*^9},
3.495398892616804*^9, {3.495922938707839*^9, 3.4959229711678843`*^9}, {
3.4959231003080654`*^9, 3.4959231175680895`*^9}, {3.4971602295387588`*^9,
3.4971602339691668`*^9}, {3.521344047531579*^9, 3.5213440556315904`*^9}, {
3.522011204087694*^9, 3.522011204087694*^9}, {3.5269414956611137`*^9,
3.526941503601527*^9}}],
Cell[BoxData[
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], ")"}], "p"],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}], ")"}], "p"],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.4796579723816*^9, 3.4796580261689425`*^9},
3.479661191290163*^9, {3.479686720164157*^9, 3.479686720204214*^9}, {
3.479686831554328*^9, 3.479686834819022*^9}, {3.4940970712485504`*^9,
3.4940971130286083`*^9}, 3.4940971455886545`*^9, 3.4953915848214207`*^9,
3.495391696001576*^9, 3.4959228185976706`*^9, 3.495922913057803*^9,
3.495923018917951*^9, {3.4959235009586263`*^9, 3.4959235044486313`*^9},
3.495923597958762*^9, {3.4967267852794013`*^9, 3.496726787416605*^9}, {
3.497160187917886*^9, 3.497160191381092*^9}, {3.5220108283382025`*^9,
3.5220108303953204`*^9}, {3.526941475037877*^9, 3.526941486223097*^9}, {
3.526944260959569*^9, 3.526944268385182*^9}, {3.5269445071436014`*^9,
3.5269445089688044`*^9}, {3.5291955204386435`*^9, 3.529195523761449*^9}, {
3.5291956709477077`*^9, 3.5291956822265277`*^9}},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9,
3.492805165713872*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{"u_.", "*",
RowBox[{
RowBox[{"(",
RowBox[{"a_", "+",
RowBox[{"b_.", "*",
RowBox[{"x_", "^", "n_."}]}]}], ")"}], "^", "p_."}]}], ",",
"x_Symbol"}], "]"}], " ", ":=", "\n", " ",
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{"u", "*",
RowBox[{
RowBox[{"(",
RowBox[{"b", "*",
RowBox[{"x", "^", "n"}]}], ")"}], "^", "p"}]}], ",", "x"}], "]"}],
" ", "/;", "\n",
RowBox[{
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{"a", ",", "b", ",", "n", ",", "p"}], "}"}], ",", "x"}], "]"}],
" ", "&&", " ",
RowBox[{"EqQ", "[",
RowBox[{"a", ",", "0"}], "]"}]}]}]}]], "Code",
CellChangeTimes->{{3.494097165958683*^9, 3.4940971894087152`*^9}, {
3.4940972668388243`*^9, 3.4940972723188314`*^9}, 3.49539148440128*^9,
3.4959225619973116`*^9, {3.4959230364279757`*^9, 3.4959230376679773`*^9},
3.495923494298617*^9, {3.495923555498702*^9, 3.4959235563087034`*^9},
3.4967267756697845`*^9, {3.49672681861666*^9, 3.4967268308626814`*^9}, {
3.497159195377345*^9, 3.49715920372336*^9}, {3.4971596430245285`*^9,
3.4971596546621494`*^9}, {3.4971597187782617`*^9,
3.4971597300570817`*^9}, {3.521344096001647*^9, 3.5213440979116497`*^9}, {
3.5220109584456444`*^9, 3.522010968041193*^9}, {3.5220112082859344`*^9,
3.5220112097790203`*^9}, {3.5269414337914047`*^9, 3.526941437753812*^9}, {
3.526941573037249*^9, 3.526941593348485*^9}, {3.526944205813472*^9,
3.5269442402583323`*^9}, {3.526944313828062*^9, 3.5269443298336897`*^9}, {
3.5269443963834066`*^9, 3.5269444040430202`*^9}, {3.52694452906164*^9,
3.52694458024533*^9}, {3.5269446772462997`*^9, 3.526944689695122*^9},
3.526944935286353*^9, 3.528997186977697*^9, {3.5291955351026692`*^9,
3.529195553916302*^9}, {3.529195698029355*^9, 3.529195721179796*^9}, {
3.5291957589786625`*^9, 3.529195776232293*^9}, 3.7061417418684607`*^9, {
3.71547390806258*^9, 3.7154739083965993`*^9}},
Background->GrayLevel[0.85]],
Cell["", "Subsubsection",
CellDingbat->None,
CellChangeTimes->{3.4796643211106243`*^9}]
}, Closed]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t",
RowBox[{Cell[TextData[StyleBox["2:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], ")"}], "p"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"], " ", Cell[TextData[Cell[BoxData[
RowBox[{"b", "\[Equal]", "0"}]]]], "None"]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.4964645213514385`*^9,
3.5192470594155855`*^9, {3.519247288125906*^9, 3.5192473207459517`*^9}, {
3.5192504337891226`*^9, 3.5192504707812386`*^9}, 3.5192506717957726`*^9, {
3.519250720795459*^9, 3.5192507409818945`*^9}, 3.519258420209427*^9,
3.519258489779525*^9, {3.519320786305674*^9, 3.519320803294104*^9}, {
3.519329422708468*^9, 3.5193294257984724`*^9}, 3.5193294706485353`*^9, {
3.5193302883925123`*^9, 3.519330307237345*^9}, {3.5193303440378103`*^9,
3.5193303650666466`*^9}, 3.5193341918281684`*^9, {3.5193346196121197`*^9,
3.519334632840943*^9}, {3.519341922663512*^9, 3.5193419232095127`*^9},
3.5193423494490614`*^9, {3.5193456600396833`*^9, 3.519345660273684*^9},
3.519410696547495*^9, {3.519793559756592*^9, 3.5197935600217924`*^9}, {
3.5210541942272606`*^9, 3.5210542323693275`*^9}, {3.521054705798959*^9,
3.5210547345342093`*^9}, {3.521055431683834*^9, 3.5210554455522585`*^9}, {
3.5210554827427235`*^9, 3.521055535954417*^9}, {3.5210583779710083`*^9,
3.5210583808258133`*^9}, {3.521059537848645*^9, 3.5210595406722507`*^9}, {
3.521073278133219*^9, 3.521073278289219*^9}, {3.5210733530601506`*^9,
3.5210733594717617`*^9}, {3.5210749590361714`*^9, 3.521074959285772*^9}, {
3.5210750684603634`*^9, 3.521075082640788*^9}, {3.5211302494180717`*^9,
3.5211302530480766`*^9}, 3.5211308367808948`*^9, {3.5211323417405057`*^9,
3.521132341920506*^9}, {3.5211329193813143`*^9, 3.521132920581316*^9}, {
3.5211334086319995`*^9, 3.5211334145920076`*^9}, 3.5211339031426916`*^9, {
3.5211339800327997`*^9, 3.521133999102826*^9}, {3.5211340957429614`*^9,
3.521134096002962*^9}, {3.521135314144667*^9, 3.521135318594673*^9}, {
3.521135364874738*^9, 3.521135364874738*^9}, {3.5213438858413525`*^9,
3.5213438941113644`*^9}, {3.5213439302614145`*^9,
3.5213439302614145`*^9}, {3.521343988081496*^9, 3.521344018781539*^9}, {
3.5213440660716047`*^9, 3.5213440660716047`*^9}, {3.5213444058120804`*^9,
3.5213444106820874`*^9}, {3.5214684168581123`*^9,
3.5214684170765123`*^9}, {3.52149478528579*^9, 3.52149481372464*^9}, {
3.521499215591608*^9, 3.52149921649641*^9}, {3.521999242783615*^9,
3.5219992516436276`*^9}, {3.5219993142037153`*^9,
3.5219993144637156`*^9}, {3.5220108123552885`*^9,
3.5220108400578732`*^9}, {3.5220135333009176`*^9,
3.5220135334289255`*^9}, {3.523319008544857*^9, 3.523319008544857*^9}, {
3.5269414178829765`*^9, 3.5269414184409776`*^9}, {3.52694152202516*^9,
3.526941546548403*^9}, {3.5269418749401793`*^9, 3.5269418751897798`*^9}, {
3.52694417640742*^9, 3.5269441793714256`*^9}, 3.526944249665149*^9,
3.526944496863183*^9, {3.529188040720413*^9, 3.5291880409504137`*^9},
3.529195574227538*^9, 3.5291958095539513`*^9, {3.529196718096347*^9,
3.529196724320758*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Algebraic simplification", "Subsubsection",
CellChangeTimes->{
3.4953915070313115`*^9, 3.495923078768035*^9, {3.495923273118307*^9,
3.4959232939383364`*^9}, 3.4971601701650543`*^9, {3.52694151090234*^9,
3.5269415144747467`*^9}}],
Cell[TextData[{
"Rule: If ",
Cell[BoxData[
RowBox[{"b", "\[Equal]", "0"}]]],
", then"
}], "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.495391630941485*^9, 3.4953916682515373`*^9},
3.495398892616804*^9, {3.495922938707839*^9, 3.4959229711678843`*^9}, {
3.4959231003080654`*^9, 3.4959231175680895`*^9}, {3.4971602295387588`*^9,
3.4971602339691668`*^9}, {3.521344047531579*^9, 3.5213440556315904`*^9}, {
3.522011204087694*^9, 3.522011204087694*^9}, {3.5269414956611137`*^9,
3.526941503601527*^9}, {3.529196725818361*^9, 3.529196725818361*^9}}],
Cell[BoxData[
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}]}], ")"}], "p"],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ",
RowBox[{"\[Integral]",
RowBox[{"u", " ",
SuperscriptBox["a", "p"],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.4796579723816*^9, 3.4796580261689425`*^9},
3.479661191290163*^9, {3.479686720164157*^9, 3.479686720204214*^9}, {
3.479686831554328*^9, 3.479686834819022*^9}, {3.4940970712485504`*^9,
3.4940971130286083`*^9}, 3.4940971455886545`*^9, 3.4953915848214207`*^9,
3.495391696001576*^9, 3.4959228185976706`*^9, 3.495922913057803*^9,
3.495923018917951*^9, {3.4959235009586263`*^9, 3.4959235044486313`*^9},
3.495923597958762*^9, {3.4967267852794013`*^9, 3.496726787416605*^9}, {
3.497160187917886*^9, 3.497160191381092*^9}, {3.5220108283382025`*^9,
3.5220108303953204`*^9}, {3.526941475037877*^9, 3.526941486223097*^9}, {
3.526944260959569*^9, 3.526944268385182*^9}, {3.5269445071436014`*^9,
3.5269445089688044`*^9}, {3.5291955204386435`*^9, 3.529195523761449*^9}, {
3.5291956709477077`*^9, 3.5291956822265277`*^9}, {3.5291967337431746`*^9,
3.5291967382047825`*^9}},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9,
3.492805165713872*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{"u_.", "*",
RowBox[{
RowBox[{"(",
RowBox[{"a_.", "+",
RowBox[{"b_.", "*",
RowBox[{"x_", "^", "n_."}]}]}], ")"}], "^", "p_."}]}], ",",
"x_Symbol"}], "]"}], " ", ":=", "\n", " ",
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{"u", "*",
RowBox[{"a", "^", "p"}]}], ",", "x"}], "]"}], " ", "/;", "\n",
RowBox[{
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{"a", ",", "b", ",", "n", ",", "p"}], "}"}], ",", "x"}], "]"}],
" ", "&&", " ",
RowBox[{"EqQ", "[",
RowBox[{"b", ",", "0"}], "]"}]}]}]}]], "Code",
CellChangeTimes->{{3.494097165958683*^9, 3.4940971894087152`*^9}, {
3.4940972668388243`*^9, 3.4940972723188314`*^9}, 3.49539148440128*^9,
3.4959225619973116`*^9, {3.4959230364279757`*^9, 3.4959230376679773`*^9},
3.495923494298617*^9, {3.495923555498702*^9, 3.4959235563087034`*^9},
3.4967267756697845`*^9, {3.49672681861666*^9, 3.4967268308626814`*^9}, {
3.497159195377345*^9, 3.49715920372336*^9}, {3.4971596430245285`*^9,
3.4971596546621494`*^9}, {3.4971597187782617`*^9,
3.4971597300570817`*^9}, {3.521344096001647*^9, 3.5213440979116497`*^9}, {
3.5220109584456444`*^9, 3.522010968041193*^9}, {3.5220112082859344`*^9,
3.5220112097790203`*^9}, {3.5269414337914047`*^9, 3.526941437753812*^9}, {
3.526941573037249*^9, 3.526941593348485*^9}, {3.526944205813472*^9,
3.5269442402583323`*^9}, {3.526944313828062*^9, 3.5269443298336897`*^9}, {
3.5269443963834066`*^9, 3.5269444040430202`*^9}, {3.52694452906164*^9,
3.52694458024533*^9}, {3.5269446772462997`*^9, 3.526944689695122*^9},
3.526944935286353*^9, 3.528997186977697*^9, {3.5291955351026692`*^9,
3.529195553916302*^9}, {3.529195698029355*^9, 3.529195721179796*^9}, {
3.5291957589786625`*^9, 3.529195776232293*^9}, {3.5291967483136005`*^9,
3.529196789575673*^9}, 3.706141741888461*^9, 3.715473915071981*^9},
Background->GrayLevel[0.85]],
Cell["", "Subsubsection",
CellDingbat->None,
CellChangeTimes->{3.4796643211106243`*^9}]
}, Closed]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t",
RowBox[{Cell[TextData[StyleBox["3:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}], "+",
RowBox[{"c", " ",
SuperscriptBox["x",
RowBox[{"2", " ", "n"}]]}]}], ")"}], "p"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"], " ", Cell[TextData[Cell[BoxData[
RowBox[{"a", "\[Equal]", "0"}]]]], "None"]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.4964645213514385`*^9,
3.5192470594155855`*^9, {3.519247288125906*^9, 3.5192473207459517`*^9}, {
3.5192504337891226`*^9, 3.5192504707812386`*^9}, 3.5192506717957726`*^9, {
3.519250720795459*^9, 3.5192507409818945`*^9}, 3.519258420209427*^9,
3.519258489779525*^9, {3.519320786305674*^9, 3.519320803294104*^9}, {
3.519329422708468*^9, 3.5193294257984724`*^9}, 3.5193294706485353`*^9, {
3.5193302883925123`*^9, 3.519330307237345*^9}, {3.5193303440378103`*^9,
3.5193303650666466`*^9}, 3.5193341918281684`*^9, {3.5193346196121197`*^9,
3.519334632840943*^9}, {3.519341922663512*^9, 3.5193419232095127`*^9},
3.5193423494490614`*^9, {3.5193456600396833`*^9, 3.519345660273684*^9},
3.519410696547495*^9, {3.519793559756592*^9, 3.5197935600217924`*^9}, {
3.5210541942272606`*^9, 3.5210542323693275`*^9}, {3.521054705798959*^9,
3.5210547345342093`*^9}, {3.521055431683834*^9, 3.5210554455522585`*^9}, {
3.5210554827427235`*^9, 3.521055535954417*^9}, {3.5210583779710083`*^9,
3.5210583808258133`*^9}, {3.521059537848645*^9, 3.5210595406722507`*^9}, {
3.521073278133219*^9, 3.521073278289219*^9}, {3.5210733530601506`*^9,
3.5210733594717617`*^9}, {3.5210749590361714`*^9, 3.521074959285772*^9}, {
3.5210750684603634`*^9, 3.521075082640788*^9}, {3.5211302494180717`*^9,
3.5211302530480766`*^9}, 3.5211308367808948`*^9, {3.5211323417405057`*^9,
3.521132341920506*^9}, {3.5211329193813143`*^9, 3.521132920581316*^9}, {
3.5211334086319995`*^9, 3.5211334145920076`*^9}, 3.5211339031426916`*^9, {
3.5211339800327997`*^9, 3.521133999102826*^9}, {3.5211340957429614`*^9,
3.521134096002962*^9}, {3.521135314144667*^9, 3.521135318594673*^9}, {
3.521135364874738*^9, 3.521135364874738*^9}, {3.5213438858413525`*^9,
3.5213438941113644`*^9}, {3.5213439302614145`*^9,
3.5213439302614145`*^9}, {3.521343988081496*^9, 3.521344018781539*^9}, {
3.5213440660716047`*^9, 3.5213440660716047`*^9}, {3.5213444058120804`*^9,
3.5213444106820874`*^9}, {3.5214684168581123`*^9,
3.5214684170765123`*^9}, {3.52149478528579*^9, 3.52149481372464*^9}, {
3.521499215591608*^9, 3.52149921649641*^9}, {3.521999242783615*^9,
3.5219992516436276`*^9}, {3.5219993142037153`*^9,
3.5219993144637156`*^9}, {3.5220108123552885`*^9,
3.5220108400578732`*^9}, {3.5220135333009176`*^9,
3.5220135334289255`*^9}, {3.523319008544857*^9, 3.523319008544857*^9}, {
3.5269414178829765`*^9, 3.5269414184409776`*^9}, {3.52694152202516*^9,
3.526941546548403*^9}, {3.5269418749401793`*^9, 3.5269418751897798`*^9}, {
3.52694417640742*^9, 3.5269441793714256`*^9}, 3.526944249665149*^9,
3.526944496863183*^9, {3.529188040720413*^9, 3.5291880409504137`*^9},
3.529195574227538*^9, {3.5291958955257025`*^9, 3.529195896617704*^9}, {
3.5291965314296193`*^9, 3.5291965316792192`*^9}, {3.571370180071824*^9,
3.5713701830218287`*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Algebraic simplification", "Subsubsection",
CellChangeTimes->{
3.4953915070313115`*^9, 3.495923078768035*^9, {3.495923273118307*^9,
3.4959232939383364`*^9}, 3.4971601701650543`*^9, {3.52694151090234*^9,
3.5269415144747467`*^9}}],
Cell[TextData[{
"Rule: If ",
Cell[BoxData[
RowBox[{"a", "\[Equal]", "0"}]]],
", then"
}], "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.495391630941485*^9, 3.4953916682515373`*^9},
3.495398892616804*^9, {3.495922938707839*^9, 3.4959229711678843`*^9}, {
3.4959231003080654`*^9, 3.4959231175680895`*^9}, {3.4971602295387588`*^9,
3.4971602339691668`*^9}, {3.521344047531579*^9, 3.5213440556315904`*^9}, {
3.522011204087694*^9, 3.522011204087694*^9}, {3.5269414956611137`*^9,
3.526941503601527*^9}}],
Cell[BoxData[
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}], "+",
RowBox[{"c", " ",
SuperscriptBox["x",
RowBox[{"2", " ", "n"}]]}]}], ")"}], "p"],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}], "+",
RowBox[{"c", " ",
SuperscriptBox["x",
RowBox[{"2", " ", "n"}]]}]}], ")"}], "p"],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.4796579723816*^9, 3.4796580261689425`*^9},
3.479661191290163*^9, {3.479686720164157*^9, 3.479686720204214*^9}, {
3.479686831554328*^9, 3.479686834819022*^9}, {3.4940970712485504`*^9,
3.4940971130286083`*^9}, 3.4940971455886545`*^9, 3.4953915848214207`*^9,
3.495391696001576*^9, 3.4959228185976706`*^9, 3.495922913057803*^9,
3.495923018917951*^9, {3.4959235009586263`*^9, 3.4959235044486313`*^9},
3.495923597958762*^9, {3.4967267852794013`*^9, 3.496726787416605*^9}, {
3.497160187917886*^9, 3.497160191381092*^9}, {3.5220108283382025`*^9,
3.5220108303953204`*^9}, {3.526941475037877*^9, 3.526941486223097*^9}, {
3.526944260959569*^9, 3.526944268385182*^9}, {3.5269445071436014`*^9,
3.5269445089688044`*^9}, {3.5291955204386435`*^9, 3.529195523761449*^9}},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9,
3.492805165713872*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{"u_.", "*",
RowBox[{
RowBox[{"(",
RowBox[{"a_", "+",
RowBox[{"b_.", "*",
RowBox[{"x_", "^", "n_."}]}], "+",
RowBox[{"c_.", "*",
RowBox[{"x_", "^", "j_."}]}]}], ")"}], "^", "p_."}]}], ",",
"x_Symbol"}], "]"}], " ", ":=", "\n", " ",
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{"u", "*",
RowBox[{
RowBox[{"(",
RowBox[{
RowBox[{"b", "*",
RowBox[{"x", "^", "n"}]}], "+",
RowBox[{"c", "*",
RowBox[{"x", "^",
RowBox[{"(",
RowBox[{"2", "*", "n"}], ")"}]}]}]}], ")"}], "^", "p"}]}], ",",
"x"}], "]"}], " ", "/;", "\n",
RowBox[{
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{"a", ",", "b", ",", "c", ",", "n", ",", "p"}], "}"}], ",",
"x"}], "]"}], " ", "&&", " ",
RowBox[{"EqQ", "[",
RowBox[{"j", ",",
RowBox[{"2", "*", "n"}]}], "]"}], " ", "&&", " ",
RowBox[{"EqQ", "[",
RowBox[{"a", ",", "0"}], "]"}]}]}]}]], "Code",
CellChangeTimes->{{3.494097165958683*^9, 3.4940971894087152`*^9}, {
3.4940972668388243`*^9, 3.4940972723188314`*^9}, 3.49539148440128*^9,
3.4959225619973116`*^9, {3.4959230364279757`*^9, 3.4959230376679773`*^9},
3.495923494298617*^9, {3.495923555498702*^9, 3.4959235563087034`*^9},
3.4967267756697845`*^9, {3.49672681861666*^9, 3.4967268308626814`*^9}, {
3.497159195377345*^9, 3.49715920372336*^9}, {3.4971596430245285`*^9,
3.4971596546621494`*^9}, {3.4971597187782617`*^9,
3.4971597300570817`*^9}, {3.521344096001647*^9, 3.5213440979116497`*^9}, {
3.5220109584456444`*^9, 3.522010968041193*^9}, {3.5220112082859344`*^9,
3.5220112097790203`*^9}, {3.5269414337914047`*^9, 3.526941437753812*^9}, {
3.526941573037249*^9, 3.526941593348485*^9}, {3.526944205813472*^9,
3.5269442402583323`*^9}, {3.526944313828062*^9, 3.5269443298336897`*^9}, {
3.5269443963834066`*^9, 3.5269444040430202`*^9}, {3.52694452906164*^9,
3.52694458024533*^9}, 3.526944933024349*^9, 3.528997185334603*^9, {
3.5291955306098614`*^9, 3.52919555845591*^9}, {3.529195591465568*^9,
3.529195593181571*^9}, {3.7061417419084606`*^9, 3.7061417419084606`*^9}, {
3.7154739258986006`*^9, 3.7154739353921432`*^9}},
Background->GrayLevel[0.85]],
Cell["", "Subsubsection",
CellDingbat->None,
CellChangeTimes->{3.4796643211106243`*^9}]
}, Closed]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t",
RowBox[{Cell[TextData[StyleBox["4:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{"u",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
SuperscriptBox["x", "n"]}], "+",
RowBox[{"c", " ",
SuperscriptBox["x",
RowBox[{"2", " ", "n"}]]}]}], ")"}], "p"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"], " ", Cell[TextData[Cell[BoxData[
RowBox[{"b", "\[Equal]", "0"}]]]], "None"]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.4964645213514385`*^9,
3.5192470594155855`*^9, {3.519247288125906*^9, 3.5192473207459517`*^9}, {
3.5192504337891226`*^9, 3.5192504707812386`*^9}, 3.5192506717957726`*^9, {
3.519250720795459*^9, 3.5192507409818945`*^9}, 3.519258420209427*^9,
3.519258489779525*^9, {3.519320786305674*^9, 3.519320803294104*^9}, {
3.519329422708468*^9, 3.5193294257984724`*^9}, 3.5193294706485353`*^9, {
3.5193302883925123`*^9, 3.519330307237345*^9}, {3.5193303440378103`*^9,
3.5193303650666466`*^9}, 3.5193341918281684`*^9, {3.5193346196121197`*^9,
3.519334632840943*^9}, {3.519341922663512*^9, 3.5193419232095127`*^9},
3.5193423494490614`*^9, {3.5193456600396833`*^9, 3.519345660273684*^9},
3.519410696547495*^9, {3.519793559756592*^9, 3.5197935600217924`*^9}, {
3.5210541942272606`*^9, 3.5210542323693275`*^9}, {3.521054705798959*^9,
3.5210547345342093`*^9}, {3.521055431683834*^9, 3.5210554455522585`*^9}, {
3.5210554827427235`*^9, 3.521055535954417*^9}, {3.5210583779710083`*^9,
3.5210583808258133`*^9}, {3.521059537848645*^9, 3.5210595406722507`*^9}, {
3.521073278133219*^9, 3.521073278289219*^9}, {3.5210733530601506`*^9,
3.5210733594717617`*^9}, {3.5210749590361714`*^9, 3.521074959285772*^9}, {
3.5210750684603634`*^9, 3.521075082640788*^9}, {3.5211302494180717`*^9,
3.5211302530480766`*^9}, 3.5211308367808948`*^9, {3.5211323417405057`*^9,
3.521132341920506*^9}, {3.5211329193813143`*^9, 3.521132920581316*^9}, {
3.5211334086319995`*^9, 3.5211334145920076`*^9}, 3.5211339031426916`*^9, {
3.5211339800327997`*^9, 3.521133999102826*^9}, {3.5211340957429614`*^9,
3.521134096002962*^9}, {3.521135314144667*^9, 3.521135318594673*^9}, {
3.521135364874738*^9, 3.521135364874738*^9}, {3.5213438858413525`*^9,
3.5213438941113644`*^9}, {3.5213439302614145`*^9,
3.5213439302614145`*^9}, {3.521343988081496*^9, 3.521344018781539*^9}, {
3.5213440660716047`*^9, 3.5213440660716047`*^9}, {3.5213444058120804`*^9,
3.5213444106820874`*^9}, {3.5214684168581123`*^9,
3.5214684170765123`*^9}, {3.52149478528579*^9, 3.52149481372464*^9}, {
3.521499215591608*^9, 3.52149921649641*^9}, {3.521999242783615*^9,
3.5219992516436276`*^9}, {3.5219993142037153`*^9,
3.5219993144637156`*^9}, {3.5220108123552885`*^9,
3.5220108400578732`*^9}, {3.5220135333009176`*^9,
3.5220135334289255`*^9}, {3.523319008544857*^9, 3.523319008544857*^9}, {
3.5269414178829765`*^9, 3.5269414184409776`*^9}, {3.52694152202516*^9,
3.526941546548403*^9}, {3.5269418749401793`*^9, 3.5269418751897798`*^9}, {
3.52694417640742*^9, 3.5269441793714256`*^9}, 3.526944249665149*^9,
3.526944496863183*^9, {3.529188040720413*^9, 3.5291880409504137`*^9},
3.529195574227538*^9, {3.5291958955257025`*^9, 3.529195896617704*^9}, {
3.5291963802965536`*^9, 3.5291963802965536`*^9}, {3.5713701842718306`*^9,
3.571370184451831*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Algebraic simplification", "Subsubsection",